Petri Nets Models for Analysis and Control of Public Bicycle-Sharing Systems

International audienc

Comportement dynamique des systèmes à événements discrets dans l’algèbre des dioïdes

International audienc

Etude des graphes d'événements temporisés avec multiplieurs dans l'algèbre (min, +)

Les graphes d'événements temporisés avec multiplieurs forment une sous classe des réseaux de Petri dont le comportement ne peut pas être décrit par des équations linéaires dans l'algèbre (min,+) de par la présence des poids sur les arcs. Ce mémoire est consacré à l'étude des systèmes dynamiques, modélisés par des graphes d'événements temporisés discrets, voire hybrides avec multiplieurs. Nous abordons le problème de la représentation entrée-sortie de ces graphes dans l'algèbre (min,+). Pour pallier le problème de non-linéarité, une approche de modélisation à base d'opérateurs est proposée. La commande en juste-à-temps est calculée pour les graphes d'événements temporisés discrets avec multiplieurs dans un dioïde d'opérateurs. Une extension de cette commande aux graphes d'événements temporisés hybrides avec multiplieurs est présentée. Est abordé ensuite, l'analyse des performances des graphes d'événements temporisés discret avec multiplieurs. Nous proposons deux méthodes de linéarisation de ces graphes, dans le but d'obtenir des représentations linéaires dans l'algèbre (min,+), ceci afin d'appliquer certains résultats de base de la théorie spectrale, habituellement utilisée pour évaluer les performances des graphes d'événements temporisés ordinaires.Timed event graphs with multipliers form a subclass of Petri nets whose behavior can not be described by linear equations in (min, +) algebra. This nonlinearity is due to the presence of weights on arcs. This report is devoted to the study of dynamic systems modelled by discrete timed event graphs with multipliers and hybrid timed event graphs with multipliers. We tackle the problem of input-output representation of these graphs, in (min,+) algebra. To mitigate the problem of nonlinearity, an approach of modelling, based on operators, is proposed. A just in time control is calculated for discrete timed event graphs with multipliers. An extension of this control to the hybrid Timed event graphs with multipliers is presented. Then, the performance analysis of timed event graphs with multipliers, is tackled. We propose two linearization methods of these graphs, in the purpose to obtain a linear representation in (min, +) algebra, and to apply some basic results of the spectral theory, usually used to evaluate the performances of ordinary timed event graphs.ANGERS-BU Lettres et Sciences (490072106) / SudocCACHAN-ENS (940162301) / SudocSudocFranceF

On Computing Cycle Time in Weighted Event Graphs

International audienc

Transformation Methods of the BDSPN model into an Equivalent Classical Petri Net

International audienceThe BDSPN model is a class of Petri nets introduced for the modeling, analysis and performance evaluation of discrete event systems with batch behaviors. The model is particularly suitable for the modeling of flow evolution in discrete quantities (batches of variable sizes) in a system with activities performed in batch modes. The work of this paper contributes to the structural analysis of the model. Transformation procedures for some subclasses of BDSPN are developed and the necessity of the introduction of the new model is demonstrated

Interval analysis to optimize a production line of pharmaceuticals

International audienc

Contributions of Information and communication technologies to industrialization of additive manufacturing

Additive manufacturing is in clear progress in the field of civil engineering construction, essentially boosting by the development of new information and communication technologies. For better industrialization of the use of this technique, in-situ control of products manufactured along the production line is a major issue. In this work we were able to supervise the quality of printed object along the process by comparing the target values and those measured by image processing obtained by a camera installed in the printing device. We have developed a program that allows us to measure the deformations of the different layers and thus to assess the difference between the values of the target ratings and those achieved. This deviation is defined as a criterion for validating piece conformity and can also be used to adapt the process parameters

Stochastic Petri net modeling, simulation and analysis of public bicycle sharing systems

International audienc